#include "link32fa016bx.h"



void plic_global_interrupt_enable(void)
{
	__IBEX_EnableIRQ(11);
}

void plic_global_interrupt_disble(void)
{
	__IBEX_DisableIRQ(11);
}

void plic_set_prio_threshold(uint8_t th)
{
	PLIC_SetThresholdIRQ(th);
}

void plic_irq_enable(uint32_t source, uint8_t priority)
{
	PLIC_SetPriorityIRQ(source, priority);
	PLIC_EnableIRQ(source);
}

void plic_irq_disable(uint32_t source)
{
	PLIC_DisableIRQ(source);
}

void plic_set_handler(uint32_t source, PLIC_Handler_Type handler)
{
	PLIC_SetHandler(source, handler);

}
